Synthesizing Control Code for Achieving State Targets in Composed Systems

This paper considers the problem of control synthesis for a class of discrete event systems composed of subsystems interacting through condition signals. The control objective is speciied as a sequence of condition sets, and the purpose of control synthesis is to determine input signals to drive the composed system through a series of states that satisses the given speciication. The synthesis method developed builds up the control law by considering the system in layers. At each layer, a more detailed speciication of the control objective is formulated, until the nal result is a speciica-tion that fully deenes the control actions for the system. The resulting speciication is then automatically converted into a program for Programmable Logic Controllers.